index($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\parallel$rcvs(lnk(kind($e$));time($e$))$\parallel$ {-} $\parallel$snds(lnk(kind($e$));time(sender($e$)))$\parallel$